!(<{3,4}, 3>Ga)